home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Mac-Source 1994 July
/
Mac-Source_July_1994.iso
/
Other Langs
/
Help
/
Help Files
/
ATMS
/
Description
< prev
next >
Encoding:
Amiga
Atari
Commodore
DOS
FM Towns/JPY
Macintosh
Macintosh JP
Macintosh to JP
NeXTSTEP
RISC OS/Acorn
Shift JIS
UTF-8
Wrap
Text File
|
1993-01-02
|
193 b
|
1 lines
|
[
TEXT/ttxt
]
This folder contains two different releases of an ATMS oriented propositionnal (boolean) prover. It is documented in a PhD thesis by Olivier Palmade, directed by Michel Cayrol (cayrol@irit.fr).
